'(THIS IS THE UNFASL FOR ((DSK (TIM LSP)) BOYER MCL)) 
'(ASSEMBLED BY FASLAP /392) 
'(COMPILED BY LISP COMPILER /936 COMAUX /25 PHAS1 /84 MAKLAP /80 INITIA /117) 

;COMPILED ON JANUARY 26, 1984, AT 1:07 PM

	(COMMENT **FASL** 0. (LAP ADD-LEMMA SUBR)) 
	(COMMENT **FASL** 35. (LAP ADD-LEMMA-LST SUBR)) 
	(COMMENT **FASL** 45. (LAP APPLY-SUBST SUBR)) 
	(COMMENT **FASL** 69. (LAP APPLY-SUBST-LST SUBR)) 
	(COMMENT **FASL** 85. (LAP FALSEP SUBR)) 
	(COMMENT **FASL** 97. (LAP ONE-WAY-UNIFY SUBR)) 
	(COMMENT **FASL** 99. (LAP ONE-WAY-UNIFY1 SUBR)) 
	(COMMENT **FASL** 137. (LAP ONE-WAY-UNIFY1-LST SUBR)) 
	(COMMENT **FASL** 152. (LAP REWRITE SUBR)) 
	(COMMENT **FASL** 174. (LAP REWRITE-ARGS SUBR)) 
	(COMMENT **FASL** 186. (LAP REWRITE-WITH-LEMMAS SUBR)) 
	(COMMENT **FASL** 208. (LAP SETUP SUBR)) 
	(COMMENT **FASL** 210. (LAP TAUTOLOGYP SUBR)) 
	(COMMENT **FASL** 277. (LAP TAUTP SUBR)) 
	(COMMENT **FASL** 280. (LAP TEST SUBR)) 
	(COMMENT **FASL** 289. (LAP TRANS-OF-IMPLIES SUBR)) 
	(COMMENT **FASL** 303. (LAP TRANS-OF-IMPLIES1 SUBR)) 
	(COMMENT **FASL** 337. (LAP TRUEP SUBR)) 
	(COMMENT **FASL** 349. (LAP TIMIT SUBR)) 
	(COMMENT **FASL** TOTAL =  726. WORDS)